1.
3.
Adapting Proofs-As-Programs The Curry-Howard Protocol
by Poernomo, Iman Hafiz, Cross...
ISBN: 9780387237596
List Price: $99.00
4.
Communities of Learning: Networks and the Shaping of Intellectual Identity in Europe, 1100-1...
by Crossley, J. N., Mews, C.
ISBN: 9782503532332
List Price: $102.00
OUT OF STOCK
See Availability on Amazon7.
Proof Theory (Grundlehren der mathematischen Wissenschaften)
by Schuette, K., Crossley, J. N.
ISBN: 9783540079118
List Price: $59.00
OUT OF STOCK
See Availability on Amazon9.
Algebra and Logic : Proceedings of the Australian Mathematical Society, 14th, Australia, Jan...
by Australian Mathematical Soc...
ISBN: 9780387071527
List Price: $19.00